Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
921	Laboratory name SOP: <> Revision #: Effective Date: <> Page: 4 of 4 Add to Reading List Source URL: www.health.state.mn.us Language: English - Date: 2012-09-11 09:23:11 Standards Software requirements Science Verification and validation Calibration Knowledge Requirement Protocol Systems engineering Measurement Metrology
922	ASSESSMENT REPORT[removed]FEDERAL DIGITAL SYSTEM (FDSYS) INDEPENDENT VERIFICATION AND Add to Reading List Source URL: gpo.gov Language: English - Date: 2009-10-28 11:17:19 Software development process Acceptance testing Quality assurance Validation United States Government Printing Office Business Technology Software testing Science Federal Digital System
923	Cost Effective Use of Formal Methods in Verification and Validation D. Richard Kuhn Ramaswamy Chandramouli National Institute of Standards and Technology Gaithersburg, MD 20899 Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2007-09-19 01:00:00 Applied mathematics Formal verification Automated theorem proving Isabelle Formal specification Software development process KeY Model checking ACL2 Formal methods Theoretical computer science Science
924	ASSESSMENT REPORT 10‐05 FEDERAL DIGITAL SYSTEM (FDSYS) INDEPENDENT VERIFICATION AND VALIDATION – TENTH Add to Reading List Source URL: gpo.gov Language: English - Date: 2010-03-25 10:56:28 Science Software development Federal Digital System Project management office Code of Federal Regulations PTRS-41 Software development process Federal Register Design review Project management Systems engineering Technology
925	Ref. No. CNCA—01C—014：2001 Add to Reading List Source URL: www.cnca.gov.cn Language: English - Date: 2012-03-21 04:48:58 Systems engineering Management Thought Quality assurance Certification mark Verification and validation Requirement Software testing Global Organic Textile Standard Evaluation Product certification Quality
926	Enhanced Verification Call – List Revised: July 18, 2014 By Ordinance/Policy: Add to Reading List Source URL: siacinc.org Language: English - Date: 2014-07-21 16:39:39 Software Table of United States Metropolitan Statistical Areas Table of United States primary census statistical areas
927	Traceability and Quality Verification in the Canadian Food Chain Jill E. Hobbs Department of Agricultural Economics University of Saskatchewan Presented at the AIC Symposium “Food Safety Policy and Add to Reading List Source URL: www.aic.ca Language: English - Date: 2010-01-20 19:12:22 Technology Safety Barcodes Radio-frequency identification Software engineering Traceability National Animal Identification System Food quality TRACES Food and drink Food safety Food industry
928	ASSESSMENT REPORT[removed]ORACLE E-BUSINESS SUITE RELEASE 2 INDEPENDENT VERIFICATION AND Add to Reading List Source URL: gpo.gov Language: English - Date: 2009-10-28 11:17:18 Cross-platform software Oracle Database Oracle Applications Oracle Corporation Oracle E-Business Suite Acceptance testing Data migration Validation Software Business ERP software
929	Omnisens SA TGA310 Ammonia Analyzer Add to Reading List Source URL: epa.gov Language: English - Date: 2014-08-05 13:11:16 Environment Technology Verification and validation Kilogram Test plan United States Environmental Protection Agency Quality assurance Business Software testing Environmental Technology Verification Program Environmental technology
930	ASSESSMENT REPORT 11‐03 FEDERAL DIGITAL SYSTEM (FDSYS) INDEPENDENT VERIFICATION AND VALIDATION – Add to Reading List Source URL: gpo.gov Language: English - Date: 2010-12-20 05:46:17 Software development process Transition methodology Code of Federal Regulations Management Science Business Federal Digital System Project management office United States Government Printing Office

UPDATE